Towards exact algorithmic proofs of maximal mutually unbiased bases sets in arbitrary integer dimension

In this paper, we explore the concept of Mutually Unbiased Bases (MUBs) in discrete quantum systems. It is known that for dimensions $d$ that are powers of prime numbers, there exists a set of up to $d+1$ bases that form an MUB set. However, the maximum number of MUBs in dimensions that are not powers of prime numbers is not known. To address this issue, we introduce three algorithms based on First-Order Logic that can determine the maximum number of bases in an MUB set without numerical approximation. Our algorithms can prove this result in finite time, although the required time is impractical. Additionally, we present a heuristic approach to solve the semi-decision problem of determining if there are $k$ MUBs in a given dimension $d$. As a byproduct of our research, we demonstrate that the maximum number of MUBs in any dimension can be achieved with definable complex parameters, computable complex parameters, and other similar fields.Comment: 11 pages, 0 figure

Análisis de la perífrasis verbal Ir a + infinitivo en la prensa escrita colombiana

Las perífrasis verbales están formadas por un verbo auxiliar y un verbo auxiliado, dicha construcción perifrástica se caracteriza porque los dos verbos constituyen una unidad sintáctica y semántica que comparte rasgos verbales de construcciones unimembres. En primer lugar, se tiene al auxiliar que aporta rasgos gramaticales de persona, de número y de tiempo, entre otros, en segundo lugar, se encuentra el verbo auxiliado en forma no personal que aporta los rasgos semánticos y elige los argumentos de la perífrasis; de esta manera se manifiesta una codependencia entre sus partes, razón por la cual los dos elementos constituyen un solo núcleo verbal. La presente investigación se propuso analizar los valores de la perífrasis Ir a + infinitivo en el periódico El Tiempo, y contrastar su aparición en dos secciones del periódico, Cultural y Editorial, la cuales distan por su registro y formato, de este modo el corpus se constituyó a partir de la publicación del periódico comprendida entre el 2 de enero y el 1 de febrero del año 2017. Asimismo, el corpus fue clasificado con ayuda del software de análisis semántico Tropes y la graficación de los datos cuantitativos se apoyó en paquetes de software libre como Python usando las librerías de GraphLab y el entorno de Jupiter. En esta tesis se exploraron las bases de la desemantización y gramaticalización del verbo ir, con el propósito de establecer los límites gramaticales del verbo como auxiliar de la perífrasis Ir a + infinitivo, además, se hizo un breve esbozo de las categorías gramaticales para decantarse someramente en el segundo constituyente de la perífrasis, el infinitivo. Así mismo, se pretendió establecer el marco teórico relativo a la perífrasis Ir a + infinitivo, para estudiar sus valores en correspondencia con un contexto real

Data-graph repairs: the preferred approach

Repairing inconsistent knowledge bases is a task that has been assessed, with great advances over several decades, from within the knowledge representation and reasoning and the database theory communities. As information becomes more complex and interconnected, new types of repositories, representation languages and semantics are developed in order to be able to query and reason about it. Graph databases provide an effective way to represent relationships among data, and allow processing and querying these connections efficiently. In this work, we focus on the problem of computing preferred (subset and superset) repairs for graph databases with data values, using a notion of consistency based on a set of Reg-GXPath expressions as integrity constraints. Specifically, we study the problem of computing preferred repairs based on two different preference criteria, one based on weights and the other based on multisets, showing that in most cases it is possible to retain the same computational complexity as in the case where no preference criterion is available for exploitation.Comment: arXiv admin note: text overlap with arXiv:2206.0750

Identificación y medición de riesgos para el sector azucarero en Colombia

Este estudio muestra la identificación y la medición de riesgo del sector azucarero en Colombia -- Su desarrollo se basó en el análisis de varias metodologías tales como Orange Book, estándar australiano y norma técnica colombiana NTC ISO-31000 (gestión de riesgos); se seleccionó la última para la implementación metodológica ya que es la aplicable en el país en el que se llevó a cabo el estudio, así como también, en la recolección de información histórica interna, externa y específica proveniente del sector -- Se espera que este documento sea referencia en la medición de los riesgos asociados con la industria en mención, con el fin de identificar los riesgos que se puedan presentar y materializar y medir su magnitud e impacto de manera que no se afecten los intereses del inversionist

Estudio del potencial turístico de la parroquia la Esperanza del cantón Ibarra, provincia de Imbabura para el diseño de una guía turística

Determinar el potencial turístico de la Parroquia La Esperanza cantón Ibarra, provincia de Imbabura, mediante una guía turística y así lograr su difusión y promoción.Durante los últimos años en el Ecuador se ha constatado un progreso en el sector turístico lo que ha permitido un desarrollo económico, social y cultural. Es importante, destacar el amplio trabajo realizado por parte de las autoridades para impulsar el turismo, promocionando al mundo la belleza ecuatoriana digna de admirar y contemplar. No obstante estos avances, es posible aun evidenciar en las parroquias que forman parte de la ciudad de Ibarra un lento desarrollo turístico debido a la deficiente promoción de su oferta. Esta realidad motivó a realizar el presente trabajo de investigación que está encaminado a la promoción de la actividad turística, a través del cuidado y valoración de la parroquia La Esperanza como recurso turístico Por este motivo, el trabajo investigativo se orienta a la promoción turística por medio de la implementación de nuevas acciones que buscan el progreso de la parroquia rural de La Esperanza del cantón Ibarra. Para este fin es significativo considerar la historia de este sector, acompañada por la variedad de recursos naturales y culturales que al ser aprovechados pueden ser un potencial que genere ingresos para el desarrollo de la parroquia. Además, se plantea desplegar una investigación de los componentes y atractivos turísticos de la parroquia, con el fin de promocionar, motivar y dar a conocer este hermoso destino tanto a nivel nacional como internacional. Un aporte significativo será los resultados de la investigación que permitirán acercarnos de manera objetiva al problema y plantear posibles soluciones.Ingenierí

Development of a model of indicators for the recruitment and selection process in the human resources area of Munich Re Colombia

La siguiente investigación tiene como objetivo central el desarrollo de un modelo indicadores para el proceso de reclutamiento y selección en el área de recursos humanos de Munich Re Colombia. Esta oportunidad de mejora se evidenció al analizar el desarrollo del proceso actual de reclutamiento y selección en la organización, en la cual se evidencio la falta de desarrollo de un debido registro de datos que hacían que el área de recursos humanos no tuviera indicadores, relacionados con la satisfacción del candidato, diversidad según el rango de posición y de tiempos del proceso. Para lo anterior, se realiza un análisis exhaustivo de los documentos para entender más sobre el proceso y se realizan entrevistas a los diferentes stakeholders para conocer sus interés y expectativas con la finalidad de poder obtener medidas claras para la creación de esta herramienta. Asimismo, se establecen los indicadores que son más relevantes para la organización que permiten llevar a cabo un análisis del proceso de reclutamiento y selección, con el fin de poder identificar de una manera óptima las oportunidades de mejora y tener un debido registro de datos del proceso.The following research has as its main objective the development of a model of indicators for the recruitment and selection process in the human resources area of Munich Re Colombia. This opportunity for improvement was evidenced by analyzing the development of the recruitment and selection process in the organization, in which the lack of development of a proper record of data that made the human resources area did not have indicators related to candidate satisfaction, diversity according to the range of position and time of the process was evidenced. For the above, an exhaustive analysis of the documents is carried out to understand more about the process and interviews are conducted with the different stakeholders to know their interests and expectations to obtain clear measures for the creation of this tool. Likewise, the indicators that are most relevant to the organization are established to carry out an analysis of the recruitment and selection process, to optimally identify opportunities for improvement and to have a proper record of process data.Administrador (a) de EmpresasPregrad

An epistemic approach to model uncertainty in data-graphs

Graph databases are becoming widely successful as data models that allow to effectively represent and process complex relationships among various types of data. As with any other type of data repository, graph databases may suffer from errors and discrepancies with respect to the real-world data they intend to represent. In this work we explore the notion of probabilistic unclean graph databases, previously proposed for relational databases, in order to capture the idea that the observed (unclean) graph database is actually the noisy version of a clean one that correctly models the world but that we know partially. As the factors that may be involved in the observation can be many, e.g, all different types of clerical errors or unintended transformations of the data, we assume a probabilistic model that describes the distribution over all possible ways in which the clean (uncertain) database could have been polluted. Based on this model we define two computational problems: data cleaning and probabilistic query answering and study for both of them their corresponding complexity when considering that the transformation of the database can be caused by either removing (subset) or adding (superset) nodes and edges.Comment: 25 pages, 3 figure

On the complexity of finding set repairs for data-graphs

In the deeply interconnected world we live in, pieces of information link domains all around us. As graph databases embrace effectively relationships among data and allow processing and querying these connections efficiently, they are rapidly becoming a popular platform for storage that supports a wide range of domains and applications. As in the relational case, it is expected that data preserves a set of integrity constraints that define the semantic structure of the world it represents. When a database does not satisfy its integrity constraints, a possible approach is to search for a 'similar' database that does satisfy the constraints, also known as a repair. In this work, we study the problem of computing subset and superset repairs for graph databases with data values using a notion of consistency based on a set of Reg-GXPath expressions as integrity constraints. We show that for positive fragments of Reg-GXPath these problems admit a polynomial-time algorithm, while the full expressive power of the language renders them intractable.Comment: 35 pages , including Appendi

Diseño de un módulo de transformación para sillas de ruedas eléctricas en silla de ruedas inteligente

En el presente artículo se describe el proceso de diseño y validación de un sistema embebido adaptable a una silla de ruedas eléctrica estándar para su trasformación en una silla de ruedas inteligente, entendiendo esta última, como un sistema integrado completo, que permite al usuario de la silla de ruedas moverse de la misma forma que suele hacerlo por medio de los controles clásicos tipo palanca de una silla de ruedas eléctrica comercial, y que en adición preste algunas funciones en línea como el monitoreo de funciones vitales y movimiento semiautomático de la silla de ruedas en un ambiente conocido, utilizando una interfaz gráfica y un software para planeación de trayectorias